Optimal. Leaf size=196 \[ -\frac {A b-a B}{2 b (a+b x) \sqrt {a^2+2 a b x+b^2 x^2} (b d-a e)}-\frac {B d-A e}{\sqrt {a^2+2 a b x+b^2 x^2} (b d-a e)^2}-\frac {e (a+b x) \log (a+b x) (B d-A e)}{\sqrt {a^2+2 a b x+b^2 x^2} (b d-a e)^3}+\frac {e (a+b x) (B d-A e) \log (d+e x)}{\sqrt {a^2+2 a b x+b^2 x^2} (b d-a e)^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.16, antiderivative size = 196, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 2, integrand size = 33, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.061, Rules used = {770, 77} \[ -\frac {A b-a B}{2 b (a+b x) \sqrt {a^2+2 a b x+b^2 x^2} (b d-a e)}-\frac {B d-A e}{\sqrt {a^2+2 a b x+b^2 x^2} (b d-a e)^2}-\frac {e (a+b x) \log (a+b x) (B d-A e)}{\sqrt {a^2+2 a b x+b^2 x^2} (b d-a e)^3}+\frac {e (a+b x) (B d-A e) \log (d+e x)}{\sqrt {a^2+2 a b x+b^2 x^2} (b d-a e)^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 77
Rule 770
Rubi steps
\begin {align*} \int \frac {A+B x}{(d+e x) \left (a^2+2 a b x+b^2 x^2\right )^{3/2}} \, dx &=\frac {\left (b^2 \left (a b+b^2 x\right )\right ) \int \frac {A+B x}{\left (a b+b^2 x\right )^3 (d+e x)} \, dx}{\sqrt {a^2+2 a b x+b^2 x^2}}\\ &=\frac {\left (b^2 \left (a b+b^2 x\right )\right ) \int \left (\frac {A b-a B}{b^3 (b d-a e) (a+b x)^3}+\frac {B d-A e}{b^2 (b d-a e)^2 (a+b x)^2}+\frac {e (-B d+A e)}{b^2 (b d-a e)^3 (a+b x)}-\frac {e^2 (-B d+A e)}{b^3 (b d-a e)^3 (d+e x)}\right ) \, dx}{\sqrt {a^2+2 a b x+b^2 x^2}}\\ &=-\frac {B d-A e}{(b d-a e)^2 \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {A b-a B}{2 b (b d-a e) (a+b x) \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {e (B d-A e) (a+b x) \log (a+b x)}{(b d-a e)^3 \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {e (B d-A e) (a+b x) \log (d+e x)}{(b d-a e)^3 \sqrt {a^2+2 a b x+b^2 x^2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.11, size = 132, normalized size = 0.67 \[ \frac {-(b d-a e) \left (B \left (a^2 e+a b d+2 b^2 d x\right )+A b (b (d-2 e x)-3 a e)\right )+2 b e (a+b x)^2 \log (a+b x) (A e-B d)+2 b e (a+b x)^2 (B d-A e) \log (d+e x)}{2 b (a+b x) \sqrt {(a+b x)^2} (b d-a e)^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 1.12, size = 361, normalized size = 1.84 \[ \frac {4 \, A a b^{2} d e - {\left (B a b^{2} + A b^{3}\right )} d^{2} + {\left (B a^{3} - 3 \, A a^{2} b\right )} e^{2} - 2 \, {\left (B b^{3} d^{2} + A a b^{2} e^{2} - {\left (B a b^{2} + A b^{3}\right )} d e\right )} x - 2 \, {\left (B a^{2} b d e - A a^{2} b e^{2} + {\left (B b^{3} d e - A b^{3} e^{2}\right )} x^{2} + 2 \, {\left (B a b^{2} d e - A a b^{2} e^{2}\right )} x\right )} \log \left (b x + a\right ) + 2 \, {\left (B a^{2} b d e - A a^{2} b e^{2} + {\left (B b^{3} d e - A b^{3} e^{2}\right )} x^{2} + 2 \, {\left (B a b^{2} d e - A a b^{2} e^{2}\right )} x\right )} \log \left (e x + d\right )}{2 \, {\left (a^{2} b^{4} d^{3} - 3 \, a^{3} b^{3} d^{2} e + 3 \, a^{4} b^{2} d e^{2} - a^{5} b e^{3} + {\left (b^{6} d^{3} - 3 \, a b^{5} d^{2} e + 3 \, a^{2} b^{4} d e^{2} - a^{3} b^{3} e^{3}\right )} x^{2} + 2 \, {\left (a b^{5} d^{3} - 3 \, a^{2} b^{4} d^{2} e + 3 \, a^{3} b^{3} d e^{2} - a^{4} b^{2} e^{3}\right )} x\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \mathit {sage}_{0} x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.07, size = 315, normalized size = 1.61 \[ -\frac {\left (2 A \,b^{3} e^{2} x^{2} \ln \left (b x +a \right )-2 A \,b^{3} e^{2} x^{2} \ln \left (e x +d \right )-2 B \,b^{3} d e \,x^{2} \ln \left (b x +a \right )+2 B \,b^{3} d e \,x^{2} \ln \left (e x +d \right )+4 A a \,b^{2} e^{2} x \ln \left (b x +a \right )-4 A a \,b^{2} e^{2} x \ln \left (e x +d \right )-4 B a \,b^{2} d e x \ln \left (b x +a \right )+4 B a \,b^{2} d e x \ln \left (e x +d \right )+2 A \,a^{2} b \,e^{2} \ln \left (b x +a \right )-2 A \,a^{2} b \,e^{2} \ln \left (e x +d \right )-2 A a \,b^{2} e^{2} x +2 A \,b^{3} d e x -2 B \,a^{2} b d e \ln \left (b x +a \right )+2 B \,a^{2} b d e \ln \left (e x +d \right )+2 B a \,b^{2} d e x -2 B \,b^{3} d^{2} x -3 A \,a^{2} b \,e^{2}+4 A a \,b^{2} d e -A \,b^{3} d^{2}+B \,a^{3} e^{2}-B a \,b^{2} d^{2}\right ) \left (b x +a \right )}{2 \left (a e -b d \right )^{3} \left (\left (b x +a \right )^{2}\right )^{\frac {3}{2}} b} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Exception raised: ValueError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.01 \[ \int \frac {A+B\,x}{\left (d+e\,x\right )\,{\left (a^2+2\,a\,b\,x+b^2\,x^2\right )}^{3/2}} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {A + B x}{\left (d + e x\right ) \left (\left (a + b x\right )^{2}\right )^{\frac {3}{2}}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________